Fix domid range check in xenmon.

Signed-off-by: KUWAMURA Shin'ya <kuwa@jp.fujitsu.com>
Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/tools/xenmon/xenbaked.c b/tools/xenmon/xenbaked.c
index 3789f20c84d3ef80dcf36a89ca21bbc1ceaec2bc..fc0eb727e0f62131230d753dd32829117e4d39b3 100644 (file)
--- a/tools/xenmon/xenbaked.c
+++ b/tools/xenmon/xenbaked.c
@@ -766,11 +766,9 @@ int indexof(int domid)
   int xc_handle, ndomains;
   extern void qos_kill_thread(int domid);
   
-  if (domid < 0 || domid >= NDOMAINS) {        // shouldn't happen
-    if (domid != IDLE_DOMAIN_ID) {
-      printf("bad domain id: %d\r\n", domid);
-      return 0;
-    }
+  if (domid < 0) {     // shouldn't happen
+    printf("bad domain id: %d\r\n", domid);
+    return 0;
   }
 
   for (idx=0; idx<NDOMAINS; idx++)